// Badges
@badge-color:                 @white;
@badge-font-size:             @font-size-base;
@badge-padding:               0 8px;
